From Argument to Assertion

From Assertion-Based Verification to Assertion-Based Synthesis

We propose a linear complexity approach to achieve automatic synthesis of designs from temporal specifications. It uses concepts from the AssertionBased Verification. Each property is turned into a component combining classical monitor and generator features: the extended-generator. We connect them with specific components to obtain a design that is correct by construction. It shortens the desi...

Lifting assertion and consistency checkers from single to multiple viewpoints

Using a priority preorder on requirements or specifications, we lift established property-verification techniques of threevalued model checking from single to multiple viewpoints. This lift guarantees a maximal degree of autonomy and accountability to single views, automatically synthesizes single-analysis results for multiple-view consistency and assertion checking, allows the re-use of single...

From Trees to Predicate-argument Structures

From Argument Raising to Dependent Raising

In (1a), the transitive verb verkaufen has been fronted, leaving its complement, the NP das Pferd, behind. In (1b), the AP stolz is topicalized without its PP argument auf seine Kinder. And in (1c), the NP ein Buch has been fronted, leaving its PP complement über Syntax behind. In De Kuthy and Meurers (1998, 1999b) we showed that such cases of partial constituent fronting can successfully be an...

Argument Extraction from News

Argument extraction is the task of identifying arguments, along with their components in text. Arguments can be usually decomposed into a claim and one or more premises justifying it. The proposed approach tries to identify segments that represent argument elements (claims and premises) on social Web texts (mainly news and blogs) in the Greek language, for a small set of thematic domains, inclu...